<!DOCTYPE html>
<html lang="zh-CN">
<head>
  <meta charset="UTF-8">
<meta name="viewport" content="width=device-width">
<meta name="theme-color" content="#222">
<meta name="generator" content="Hexo 5.4.0">


  <link rel="icon" type="image/png" sizes="16x16" href="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/avatar.jpg">

<link rel="stylesheet" href="/next/css/main.css">



<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/@fortawesome/fontawesome-free@5.15.3/css/all.min.css" integrity="sha256-2H3fkXt6FEmrReK448mDVGKb3WW2ZZw35gI7vqHOE4Y=" crossorigin="anonymous">
  <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/animate.css@3.1.1/animate.min.css" integrity="sha256-PR7ttpcvz8qrF57fur/yAx1qXMFJeJFiA6pSzWi0OIE=" crossorigin="anonymous">
  <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/@fancyapps/fancybox@3.5.7/dist/jquery.fancybox.min.css" integrity="sha256-Vzbj7sDDS/woiFS3uNKo8eIuni59rjyNGtXfstRzStA=" crossorigin="anonymous">

<script class="next-config" data-name="main" type="application/json">{"hostname":"cnhuazhu.gitee.io","root":"/next/","images":"/next/images","scheme":"Mist","version":"8.6.1","exturl":false,"sidebar":{"position":"left","Muse | Mist":320,"display":"post","padding":18,"offset":12},"copycode":true,"bookmark":{"enable":false,"color":"#222","save":"auto"},"fancybox":true,"mediumzoom":true,"lazyload":false,"pangu":false,"comments":{"style":"tabs","active":null,"storage":true,"lazyload":false,"nav":null},"motion":{"enable":true,"async":false,"transition":{"post_block":"fadeIn","post_header":"fadeInDown","post_body":"fadeInDown","coll_header":"fadeInLeft","sidebar":"fadeInUp"}},"prism":false,"i18n":{"placeholder":"搜索...","empty":"没有找到任何搜索结果：${query}","hits_time":"找到 ${hits} 个搜索结果（用时 ${time} 毫秒）","hits":"找到 ${hits} 个搜索结果"},"path":"/next/search.xml","localsearch":{"enable":true,"trigger":"auto","top_n_per_article":1,"unescape":false,"preload":false}}</script><script src="/next/js/config.js"></script>
<meta name="description" content="记录操作系统学习历程">
<meta property="og:type" content="article">
<meta property="og:title" content="操作系统学习笔记-并发：死锁和饥饿">
<meta property="og:url" content="https://cnhuazhu.gitee.io/next/2021/05/04/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F%E5%AD%A6%E4%B9%A0%E7%AC%94%E8%AE%B0-%E5%B9%B6%E5%8F%91%EF%BC%9A%E6%AD%BB%E9%94%81%E5%92%8C%E9%A5%A5%E9%A5%BF/index.html">
<meta property="og:site_name" content="花猪のBlog">
<meta property="og:description" content="记录操作系统学习历程">
<meta property="og:locale" content="zh_CN">
<meta property="og:image" content="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E5%8F%AF%E9%87%8D%E7%94%A8%E8%B5%84%E6%BA%90%E6%AD%BB%E9%94%81%E4%B8%80.png">
<meta property="og:image" content="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E5%8F%AF%E9%87%8D%E7%94%A8%E8%B5%84%E6%BA%90%E6%AD%BB%E9%94%81%E4%BA%8C.png">
<meta property="og:image" content="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E5%8F%AF%E6%B6%88%E8%80%97%E8%B5%84%E6%BA%90%E6%AD%BB%E9%94%81.png">
<meta property="og:image" content="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E8%B5%84%E6%BA%90%E5%88%86%E9%85%8D%E5%9B%BE.png">
<meta property="og:image" content="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E8%B5%84%E6%BA%90%E5%88%86%E9%85%8D%E5%9B%BE%E6%AD%BB%E9%94%81.png">
<meta property="og:image" content="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E6%AD%BB%E9%94%81%E6%9D%A1%E4%BB%B6%E5%BE%AA%E7%8E%AF%E7%AD%89%E5%BE%85.png">
<meta property="og:image" content="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E8%BF%9B%E7%A8%8B%E5%90%AF%E5%8A%A8%E6%8B%92%E7%BB%9D%E5%9B%9B%E7%A7%8D%E6%95%B0%E6%8D%AE%E7%BB%93%E6%9E%84.png">
<meta property="og:image" content="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E8%BF%9B%E7%A8%8B%E5%90%AF%E5%8A%A8%E6%A1%88%E4%BE%8B.png">
<meta property="og:image" content="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E9%93%B6%E8%A1%8C%E5%AE%B6%E7%AE%97%E6%B3%95%E6%A1%88%E4%BE%8B%E4%B8%80.png">
<meta property="og:image" content="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E9%93%B6%E8%A1%8C%E5%AE%B6%E7%AE%97%E6%B3%95%E6%A1%88%E4%BE%8B%E4%BA%8C.png">
<meta property="og:image" content="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E9%93%B6%E8%A1%8C%E5%AE%B6%E7%AE%97%E6%B3%95%E6%A1%88%E4%BE%8B%E4%B8%89.png">
<meta property="og:image" content="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E9%93%B6%E8%A1%8C%E5%AE%B6%E7%AE%97%E6%B3%95%E6%A1%88%E4%BE%8B%E5%9B%9B.png">
<meta property="og:image" content="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E9%93%B6%E8%A1%8C%E5%AE%B6%E7%AE%97%E6%B3%95%E6%A1%88%E4%BE%8B%E4%BA%94.png">
<meta property="og:image" content="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E6%AD%BB%E9%94%81%E6%A3%80%E6%B5%8B%E7%AE%97%E6%B3%95%E6%A1%88%E4%BE%8B.png">
<meta property="article:published_time" content="2021-05-04T03:59:42.000Z">
<meta property="article:modified_time" content="2021-07-13T16:17:26.981Z">
<meta property="article:author" content="花猪">
<meta property="article:tag" content="操作系统">
<meta name="twitter:card" content="summary">
<meta name="twitter:image" content="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E5%8F%AF%E9%87%8D%E7%94%A8%E8%B5%84%E6%BA%90%E6%AD%BB%E9%94%81%E4%B8%80.png">


<link rel="canonical" href="https://cnhuazhu.gitee.io/next/2021/05/04/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F%E5%AD%A6%E4%B9%A0%E7%AC%94%E8%AE%B0-%E5%B9%B6%E5%8F%91%EF%BC%9A%E6%AD%BB%E9%94%81%E5%92%8C%E9%A5%A5%E9%A5%BF/">



<script class="next-config" data-name="page" type="application/json">{"sidebar":"","isHome":false,"isPost":true,"lang":"zh-CN","comments":true,"permalink":"https://cnhuazhu.gitee.io/next/2021/05/04/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F%E5%AD%A6%E4%B9%A0%E7%AC%94%E8%AE%B0-%E5%B9%B6%E5%8F%91%EF%BC%9A%E6%AD%BB%E9%94%81%E5%92%8C%E9%A5%A5%E9%A5%BF/","path":"2021/05/04/操作系统/操作系统学习笔记-并发：死锁和饥饿/","title":"操作系统学习笔记-并发：死锁和饥饿"}</script>

<script class="next-config" data-name="calendar" type="application/json">""</script>
<title>操作系统学习笔记-并发：死锁和饥饿 | 花猪のBlog</title>
  




  <noscript>
    <link rel="stylesheet" href="/next/css/noscript.css">
  </noscript>
</head>

<body itemscope itemtype="http://schema.org/WebPage" class="use-motion">
  <div class="headband"></div>

  <main class="main">
    <header class="header" itemscope itemtype="http://schema.org/WPHeader">
      <div class="header-inner"><div class="site-brand-container">
  <div class="site-nav-toggle">
    <div class="toggle" aria-label="切换导航栏" role="button">
        <span class="toggle-line"></span>
        <span class="toggle-line"></span>
        <span class="toggle-line"></span>
    </div>
  </div>

  <div class="site-meta">

    <a href="/next/" class="brand" rel="start">
      <i class="logo-line"></i>
      <h1 class="site-title">花猪のBlog</h1>
      <i class="logo-line"></i>
    </a>
  </div>

  <div class="site-nav-right">
    <div class="toggle popup-trigger">
        <i class="fa fa-search fa-fw fa-lg"></i>
    </div>
  </div>
</div>



<nav class="site-nav">
  <ul class="main-menu menu">
        <li class="menu-item menu-item-主站"><a href="https://cnhuazhu.top/" rel="noopener" target="_blank"><i class="fas fa-chevron-right fa-fw"></i>主站</a></li>
        <li class="menu-item menu-item-home"><a href="/next/" rel="section"><i class="fa fa-home fa-fw"></i>首页</a></li>
        <li class="menu-item menu-item-tags"><a href="/next/tags/" rel="section"><i class="fa fa-tags fa-fw"></i>标签<span class="badge">14</span></a></li>
        <li class="menu-item menu-item-categories"><a href="/next/categories/" rel="section"><i class="fa fa-th fa-fw"></i>分类<span class="badge">8</span></a></li>
        <li class="menu-item menu-item-archives"><a href="/next/archives/" rel="section"><i class="fa fa-archive fa-fw"></i>归档<span class="badge">53</span></a></li>
      <li class="menu-item menu-item-search">
        <a role="button" class="popup-trigger"><i class="fa fa-search fa-fw"></i>搜索
        </a>
      </li>
  </ul>
</nav>



  <div class="search-pop-overlay">
    <div class="popup search-popup"><div class="search-header">
  <span class="search-icon">
    <i class="fa fa-search"></i>
  </span>
  <div class="search-input-container">
    <input autocomplete="off" autocapitalize="off" maxlength="80"
           placeholder="搜索..." spellcheck="false"
           type="search" class="search-input">
  </div>
  <span class="popup-btn-close" role="button">
    <i class="fa fa-times-circle"></i>
  </span>
</div>
<div class="search-result-container no-result">
  <div class="search-result-icon">
    <i class="fa fa-spinner fa-pulse fa-5x"></i>
  </div>
</div>

    </div>
  </div>

</div>
        
  
  <div class="toggle sidebar-toggle" role="button">
    <span class="toggle-line"></span>
    <span class="toggle-line"></span>
    <span class="toggle-line"></span>
  </div>

  <aside class="sidebar">

    <div class="sidebar-inner sidebar-nav-active sidebar-toc-active">
      <ul class="sidebar-nav">
        <li class="sidebar-nav-toc">
          文章目录
        </li>
        <li class="sidebar-nav-overview">
          站点概览
        </li>
      </ul>

      <div class="sidebar-panel-container">
        <!--noindex-->
        <div class="post-toc-wrap sidebar-panel">
            <div class="post-toc animated"><ol class="nav"><li class="nav-item nav-level-1"><a class="nav-link" href="#%E5%89%8D%E8%A8%80"><span class="nav-number">1.</span> <span class="nav-text">前言</span></a></li><li class="nav-item nav-level-1"><a class="nav-link" href="#%E7%AC%AC%E5%85%AD%E7%AB%A0%EF%BC%9A%E5%B9%B6%E5%8F%91%EF%BC%9A%E6%AD%BB%E9%94%81%E5%92%8C%E9%A5%A5%E9%A5%BF"><span class="nav-number">2.</span> <span class="nav-text">第六章：并发：死锁和饥饿</span></a><ol class="nav-child"><li class="nav-item nav-level-2"><a class="nav-link" href="#%E6%AD%BB%E9%94%81%E7%9A%84%E5%8E%9F%E7%90%86"><span class="nav-number">2.1.</span> <span class="nav-text">死锁的原理</span></a><ol class="nav-child"><li class="nav-item nav-level-3"><a class="nav-link" href="#%E5%8F%AF%E9%87%8D%E7%94%A8%E8%B5%84%E6%BA%90"><span class="nav-number">2.1.1.</span> <span class="nav-text">可重用资源</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#%E5%8F%AF%E6%B6%88%E8%80%97%E8%B5%84%E6%BA%90"><span class="nav-number">2.1.2.</span> <span class="nav-text">可消耗资源</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#%E8%B5%84%E6%BA%90%E5%88%86%E9%85%8D%E5%9B%BE"><span class="nav-number">2.1.3.</span> <span class="nav-text">资源分配图</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#%E6%AD%BB%E9%94%81%E7%9A%84%E6%9D%A1%E4%BB%B6"><span class="nav-number">2.1.4.</span> <span class="nav-text">死锁的条件</span></a></li></ol></li><li class="nav-item nav-level-2"><a class="nav-link" href="#%E6%AD%BB%E9%94%81%E9%A2%84%E9%98%B2"><span class="nav-number">2.2.</span> <span class="nav-text">死锁预防</span></a><ol class="nav-child"><li class="nav-item nav-level-3"><a class="nav-link" href="#%E4%BA%92%E6%96%A5"><span class="nav-number">2.2.1.</span> <span class="nav-text">互斥</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#%E5%8D%A0%E6%9C%89%E4%B8%94%E7%AD%89%E5%BE%85"><span class="nav-number">2.2.2.</span> <span class="nav-text">占有且等待</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#%E4%B8%8D%E5%8F%AF%E6%8A%A2%E5%8D%A0"><span class="nav-number">2.2.3.</span> <span class="nav-text">不可抢占</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#%E5%BE%AA%E7%8E%AF%E7%AD%89%E5%BE%85"><span class="nav-number">2.2.4.</span> <span class="nav-text">循环等待</span></a></li></ol></li><li class="nav-item nav-level-2"><a class="nav-link" href="#%E6%AD%BB%E9%94%81%E9%81%BF%E5%85%8D"><span class="nav-number">2.3.</span> <span class="nav-text">死锁避免</span></a><ol class="nav-child"><li class="nav-item nav-level-3"><a class="nav-link" href="#%E8%BF%9B%E7%A8%8B%E5%90%AF%E5%8A%A8%E6%8B%92%E7%BB%9D"><span class="nav-number">2.3.1.</span> <span class="nav-text">进程启动拒绝</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#%E9%93%B6%E8%A1%8C%E5%AE%B6%E7%AE%97%E6%B3%95%EF%BC%88%E8%B5%84%E6%BA%90%E5%88%86%E9%85%8D%E6%8B%92%E7%BB%9D%E7%AD%96%E7%95%A5%EF%BC%89"><span class="nav-number">2.3.2.</span> <span class="nav-text">银行家算法（资源分配拒绝策略）</span></a></li></ol></li><li class="nav-item nav-level-2"><a class="nav-link" href="#%E6%AD%BB%E9%94%81%E6%A3%80%E6%B5%8B"><span class="nav-number">2.4.</span> <span class="nav-text">死锁检测</span></a><ol class="nav-child"><li class="nav-item nav-level-3"><a class="nav-link" href="#%E6%AD%BB%E9%94%81%E6%A3%80%E6%B5%8B%E7%AE%97%E6%B3%95"><span class="nav-number">2.4.1.</span> <span class="nav-text">死锁检测算法</span></a></li><li class="nav-item nav-level-3"><a class="nav-link" href="#%E6%81%A2%E5%A4%8D"><span class="nav-number">2.4.2.</span> <span class="nav-text">恢复</span></a></li></ol></li><li class="nav-item nav-level-2"><a class="nav-link" href="#%E4%B8%80%E7%A7%8D%E7%BB%BC%E5%90%88%E7%9A%84%E6%AD%BB%E9%94%81%E7%AD%96%E7%95%A5"><span class="nav-number">2.5.</span> <span class="nav-text">一种综合的死锁策略</span></a></li><li class="nav-item nav-level-2"><a class="nav-link" href="#%E5%93%B2%E5%AD%A6%E5%AE%B6%E5%B0%B1%E9%A4%90%E9%97%AE%E9%A2%98"><span class="nav-number">2.6.</span> <span class="nav-text">哲学家就餐问题</span></a></li></ol></li><li class="nav-item nav-level-1"><a class="nav-link" href="#%E5%90%8E%E8%AE%B0"><span class="nav-number">3.</span> <span class="nav-text">后记</span></a></li></ol></div>
        </div>
        <!--/noindex-->

        <div class="site-overview-wrap sidebar-panel">
          <div class="site-overview">
            <div class="site-author site-overview-item animated" itemprop="author" itemscope itemtype="http://schema.org/Person">
    <img class="site-author-image" itemprop="image" alt="花猪"
      src="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/avatar.jpg">
  <p class="site-author-name" itemprop="name">花猪</p>
  <div class="site-description" itemprop="description">为了获得不同的阅读体验，建立此分站。<br>（可在导航栏搜索想要查看的文章）<br><br>本站主题：NEXT 8.6.1</div>
</div>
<div class="site-state-wrap site-overview-item animated">
  <nav class="site-state">
      <div class="site-state-item site-state-posts">
          <a href="/next/archives/">
        
          <span class="site-state-item-count">53</span>
          <span class="site-state-item-name">日志</span>
        </a>
      </div>
      <div class="site-state-item site-state-categories">
            <a href="/next/categories/">
          
        <span class="site-state-item-count">8</span>
        <span class="site-state-item-name">分类</span></a>
      </div>
      <div class="site-state-item site-state-tags">
            <a href="/next/tags/">
          
        <span class="site-state-item-count">14</span>
        <span class="site-state-item-name">标签</span></a>
      </div>
  </nav>
</div>
  <div class="links-of-author site-overview-item animated">
      <span class="links-of-author-item">
        <a href="https://github.com/CNhuazhu" title="GitHub → https:&#x2F;&#x2F;github.com&#x2F;CNhuazhu" rel="noopener" target="_blank"><i class="fab fa-github fa-fw"></i>GitHub</a>
      </span>
  </div>



          </div>
        </div>
      </div>
    </div>
  </aside>
  <div class="sidebar-dimmer"></div>


    </header>

    
  <div class="back-to-top" role="button" aria-label="返回顶部">
    <i class="fa fa-arrow-up"></i>
    <span>0%</span>
  </div>
  <div class="reading-progress-bar"></div>

  <a href="https://github.com/CNhuazhu" class="github-corner" title="Follow me on GitHub" aria-label="Follow me on GitHub" rel="noopener" target="_blank"><svg width="80" height="80" viewBox="0 0 250 250" aria-hidden="true"><path d="M0,0 L115,115 L130,115 L142,142 L250,250 L250,0 Z"></path><path d="M128.3,109.0 C113.8,99.7 119.0,89.6 119.0,89.6 C122.0,82.7 120.5,78.6 120.5,78.6 C119.2,72.0 123.4,76.3 123.4,76.3 C127.3,80.9 125.5,87.3 125.5,87.3 C122.9,97.6 130.6,101.9 134.4,103.2" fill="currentColor" style="transform-origin: 130px 106px;" class="octo-arm"></path><path d="M115.0,115.0 C114.9,115.1 118.7,116.5 119.8,115.4 L133.7,101.6 C136.9,99.2 139.9,98.4 142.2,98.6 C133.8,88.0 127.5,74.4 143.8,58.0 C148.5,53.4 154.0,51.2 159.7,51.0 C160.3,49.4 163.2,43.6 171.4,40.1 C171.4,40.1 176.1,42.5 178.8,56.2 C183.1,58.6 187.2,61.8 190.9,65.4 C194.5,69.0 197.7,73.2 200.1,77.6 C213.8,80.2 216.3,84.9 216.3,84.9 C212.7,93.1 206.9,96.0 205.4,96.6 C205.1,102.4 203.0,107.8 198.3,112.5 C181.9,128.9 168.3,122.5 157.7,114.1 C157.9,116.9 156.7,120.9 152.7,124.9 L141.0,136.5 C139.8,137.7 141.6,141.9 141.8,141.8 Z" fill="currentColor" class="octo-body"></path></svg></a>

<noscript>
  <div class="noscript-warning">Theme NexT works best with JavaScript enabled</div>
</noscript>


    <div class="main-inner post posts-expand">


  


<div class="post-block">
  
  

  <article itemscope itemtype="http://schema.org/Article" class="post-content" lang="zh-CN">
    <link itemprop="mainEntityOfPage" href="https://cnhuazhu.gitee.io/next/2021/05/04/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F%E5%AD%A6%E4%B9%A0%E7%AC%94%E8%AE%B0-%E5%B9%B6%E5%8F%91%EF%BC%9A%E6%AD%BB%E9%94%81%E5%92%8C%E9%A5%A5%E9%A5%BF/">

    <span hidden itemprop="author" itemscope itemtype="http://schema.org/Person">
      <meta itemprop="image" content="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/avatar.jpg">
      <meta itemprop="name" content="花猪">
      <meta itemprop="description" content="为了获得不同的阅读体验，建立此分站。<br>（可在导航栏搜索想要查看的文章）<br><br>本站主题：NEXT 8.6.1">
    </span>

    <span hidden itemprop="publisher" itemscope itemtype="http://schema.org/Organization">
      <meta itemprop="name" content="花猪のBlog">
    </span>
      <header class="post-header">
        <h1 class="post-title" itemprop="name headline">
          操作系统学习笔记-并发：死锁和饥饿
        </h1>

        <div class="post-meta-container">
          <div class="post-meta">
    <span class="post-meta-item">
      <span class="post-meta-item-icon">
        <i class="far fa-calendar"></i>
      </span>
      <span class="post-meta-item-text">发表于</span>

      <time title="创建时间：2021-05-04 11:59:42" itemprop="dateCreated datePublished" datetime="2021-05-04T11:59:42+08:00">2021-05-04</time>
    </span>
      <span class="post-meta-item">
        <span class="post-meta-item-icon">
          <i class="far fa-calendar-check"></i>
        </span>
        <span class="post-meta-item-text">更新于</span>
        <time title="修改时间：2021-07-14 00:17:26" itemprop="dateModified" datetime="2021-07-14T00:17:26+08:00">2021-07-14</time>
      </span>
    <span class="post-meta-item">
      <span class="post-meta-item-icon">
        <i class="far fa-folder"></i>
      </span>
      <span class="post-meta-item-text">分类于</span>
        <span itemprop="about" itemscope itemtype="http://schema.org/Thing">
          <a href="/next/categories/%E5%AD%A6%E4%B9%A0%E7%AC%94%E8%AE%B0/" itemprop="url" rel="index"><span itemprop="name">学习笔记</span></a>
        </span>
    </span>

  
    <span id="/next/2021/05/04/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F%E5%AD%A6%E4%B9%A0%E7%AC%94%E8%AE%B0-%E5%B9%B6%E5%8F%91%EF%BC%9A%E6%AD%BB%E9%94%81%E5%92%8C%E9%A5%A5%E9%A5%BF/" class="post-meta-item leancloud_visitors" data-flag-title="操作系统学习笔记-并发：死锁和饥饿" title="阅读次数">
      <span class="post-meta-item-icon">
        <i class="far fa-eye"></i>
      </span>
      <span class="post-meta-item-text">阅读次数：</span>
      <span class="leancloud-visitors-count"></span>
    </span>
    <span id="/next/2021/05/04/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F%E5%AD%A6%E4%B9%A0%E7%AC%94%E8%AE%B0-%E5%B9%B6%E5%8F%91%EF%BC%9A%E6%AD%BB%E9%94%81%E5%92%8C%E9%A5%A5%E9%A5%BF/" class="post-meta-item twikoo_visitors" data-flag-title="操作系统学习笔记-并发：死锁和饥饿" title="阅读次数">
      <span class="post-meta-item-icon">
        <i class="far fa-eye"></i>
      </span>
      <span class="post-meta-item-text">阅读次数：</span>
      <span id="twikoo_visitors"></span>
    </span>
  
      </div>
      <div class="post-meta">
    <span class="post-meta-item" title="本文字数">
      <span class="post-meta-item-icon">
        <i class="far fa-file-word"></i>
      </span>
      <span class="post-meta-item-text">本文字数：</span>
      <span>7.1k</span>
    </span>
    <span class="post-meta-item" title="阅读时长">
      <span class="post-meta-item-icon">
        <i class="far fa-clock"></i>
      </span>
      <span class="post-meta-item-text">阅读时长 &asymp;</span>
      <span>6 分钟</span>
    </span>
</div>

            <div class="post-description">记录操作系统学习历程</div>
        </div>
      </header>

    
    
    
    <div class="post-body" itemprop="articleBody">
        <h1 id="前言"><a href="#前言" class="headerlink" title="前言"></a>前言</h1><p><em>正在学习操作系统，记录笔记。</em></p>
<blockquote>
<p>参考资料：</p>
<p>《操作系统（精髓与设计原理 第6版） 》</p>
</blockquote>
<hr>
<h1 id="第六章：并发：死锁和饥饿"><a href="#第六章：并发：死锁和饥饿" class="headerlink" title="第六章：并发：死锁和饥饿"></a>第六章：并发：死锁和饥饿</h1><p>本文的标题为“死锁和饥饿”，但是在接下来的内容中讲述的基本上都是死锁的问题。在这里说明一下原因：</p>
<p>先给结论（当然这个说法并不准确，但可以如此理解）：总体来说，从概念上看死锁可以看作是饥饿的<strong>子集</strong>。</p>
<p>为什么这么讲，那我们就来分析一下二者的区别：</p>
<p><strong>饥饿</strong>：一个以上的进程（具备运行条件），遇到某种情况导致一直无法运行。</p>
<p><strong>死锁</strong>：可以定义为一组（两个及以上）相互竞争系统资源或进行通信的进程间的“永久”阻塞。如果没有操作系统的干预，死锁无法自己解决问题。</p>
<blockquote>
<p>二者的共同点：</p>
<ul>
<li>得不到需要的资源，无法运行。</li>
</ul>
<p>二者的差异：</p>
<ul>
<li>死锁只是因为双方（或多方）相互干预而无法运行，而导致饥饿无法运行的还有其他原因。</li>
<li>如果没有操作系统的干预，死锁不会自行解决问题，而饥饿有可能自动解除。</li>
</ul>
<p>关于死锁的一点补充：死锁的问题有多种，但是并没有一种“万金油”式的通用有效的解决方案。需要根据具体问题具体分析。</p>
</blockquote>
<h2 id="死锁的原理"><a href="#死锁的原理" class="headerlink" title="死锁的原理"></a>死锁的原理</h2><p>造成死锁的问题主要分为两类（后面会有案例）：</p>
<ul>
<li>稀缺资源的抢夺</li>
<li>资源充足，但是请求顺序不当</li>
</ul>
<p>对于资源的概念，通常可以分为两类：可重用资源以及可消耗资源。</p>
<h3 id="可重用资源"><a href="#可重用资源" class="headerlink" title="可重用资源"></a>可重用资源</h3><ul>
<li>一次只被一个进程安全地使用（资源是互斥的），并且不会由于使用而耗尽。</li>
<li>进程使用完资源后释放，其他进程可以再次使用。</li>
<li>包括：处理器、I/O通道、内存和外存、设备以及诸如文件、数据库和信号量之类的数据结构。</li>
<li>如果每个进程持有一个资源并请求另一个资源，就会发生死锁。</li>
</ul>
<p>下面将给出涉及可重用资源死锁的例子：</p>
<ul>
<li><p>案例一：</p>
<p>如下图所示，考虑竞争独占访问磁盘文件D和磁带设备T的两个进程。如果多道程序设计系统按照p<sub>0</sub>、p<sub>1</sub>、q<sub>0</sub>、q<sub>1</sub>、p<sub>2</sub>、q<sub>2</sub>的顺序交替地执行P、Q两个进程，则会发生死锁。</p>
<p><img src="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E5%8F%AF%E9%87%8D%E7%94%A8%E8%B5%84%E6%BA%90%E6%AD%BB%E9%94%81%E4%B8%80.png"></p>
<p>处理这类死锁的一个策略是给系统设计施加关于资源请求顺序的约束。</p>
</li>
<li><p>案例二：</p>
<p>如下图所示，假设可用的内存分配空间为200KB，且进程P1、P2发生如下请求序列：</p>
<p><img src="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E5%8F%AF%E9%87%8D%E7%94%A8%E8%B5%84%E6%BA%90%E6%AD%BB%E9%94%81%E4%BA%8C.png"></p>
<p>如果两个进程都前进到它们的第二个请求时，则会发生死锁。解决这类特殊问题的最好办法是，通过使用虚拟内存。</p>
</li>
</ul>
<h3 id="可消耗资源"><a href="#可消耗资源" class="headerlink" title="可消耗资源"></a>可消耗资源</h3><ul>
<li><p>可消耗资源是指可以被创建（生产）和销毁（消耗）的资源。（通常对某种类型可消耗资源的数目没有限制，一个无阻塞的生产进程可以创建任意数目的这类资源。）</p>
</li>
<li><p>包括：中断、信号、消息和I/O缓冲区中的信息。</p>
</li>
<li><p><img src="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E5%8F%AF%E6%B6%88%E8%80%97%E8%B5%84%E6%BA%90%E6%AD%BB%E9%94%81.png"></p>
<p>如果Receive阻塞（即接收进程被阻塞直到收到消息），则发生死锁。</p>
</li>
<li><p>很少的事件组合也可能导致死锁。</p>
</li>
</ul>
<h3 id="资源分配图"><a href="#资源分配图" class="headerlink" title="资源分配图"></a>资源分配图</h3><p>为了更有效刻画进程的资源分配情况，引入了资源分配图（如下图）。</p>
<ul>
<li><p>圆：表示并发的进程</p>
</li>
<li><p>方框：表示待分配的资源（其中的点的数量表示可用资源的数量）</p>
</li>
<li><p>有向线：</p>
<ul>
<li>进程→资源（圆→方框）：表示进程请求资源，但还没有得到授权。</li>
<li>资源→进程（方框→圆）：表示资源请求已经被授权。（资源已经被进程占有）</li>
</ul>
<p><img src="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E8%B5%84%E6%BA%90%E5%88%86%E9%85%8D%E5%9B%BE.png"></p>
</li>
</ul>
<p>下面看一个例子：</p>
<blockquote>
<p><img src="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E8%B5%84%E6%BA%90%E5%88%86%E9%85%8D%E5%9B%BE%E6%AD%BB%E9%94%81.png"></p>
<p>分析：</p>
<p>这是一个死锁的例子。资源Ra和Bb都仅拥有一个单位的资源。进程P1持有Rb同时请求Ra，同时，P2进程持有Ra同时又请求Rb。</p>
</blockquote>
<h3 id="死锁的条件"><a href="#死锁的条件" class="headerlink" title="死锁的条件"></a>死锁的条件</h3><ul>
<li><p>死锁的必要条件（一旦出现死锁，则必然发生的条件）：</p>
<ul>
<li><strong>互斥</strong>：一次只有一个进程可以使用一个资源。</li>
<li><strong>占有且等待</strong>：当一个进程等待其他进程时，继续占有已经分配的资源。</li>
<li><strong>非抢占</strong>：不能强行抢占进程已占有的资源。</li>
</ul>
</li>
<li><p>第四个条件：</p>
<ul>
<li><p><strong>循环等待</strong>：存在一个封闭的进程链，使得每个进程至少占有此链中下一个进程所需要的一个资源。（如下图所示）</p>
<p><img src="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E6%AD%BB%E9%94%81%E6%9D%A1%E4%BB%B6%E5%BE%AA%E7%8E%AF%E7%AD%89%E5%BE%85.png"></p>
</li>
</ul>
<blockquote>
<p>说明：</p>
<p>第四个条件实际上是前三个条件的潜在结果，即假设前三个条件存在，可能发生的一系列事件会导致不可解的循环等待。这个不可解的循环等待实际上就是死锁的定义。条件4中列出的循环等待之所以是不可解的，是因为有前面三个条件的存在。因此，这四个条件连在一起构成了死锁的充分必要条件。</p>
</blockquote>
</li>
</ul>
<p>有了上述对死锁成因的分析，接下来我们将讨论如何解决死锁问题。这里分为两类，其中每一类又可以细分。</p>
<p>死锁的解除方案：</p>
<ul>
<li>允许死锁发生<ul>
<li>静态策略：无</li>
<li>动态策略：<ul>
<li><strong>鸵鸟算法</strong></li>
<li><strong>死锁检测与死锁恢复</strong></li>
</ul>
</li>
</ul>
</li>
<li>不允许死锁发生<ul>
<li>静态策略：<strong>死锁预防</strong></li>
<li>动态策略：<strong>死锁避免</strong></li>
</ul>
</li>
</ul>
<blockquote>
<p>关于鸵鸟算法：</p>
<p>传说中鸵鸟看到危险就把头埋在地底下，使自己看不到危险。所以鸵鸟算法也是一种“不作为”的办法。在死锁问题出现概率很低的情况下，大多数工程师不会以性能损失或者易用性损失的代价来消除死锁，处理死锁问题的办法仅仅是忽略它。因为解决死锁的问题，通常代价很大。所以鸵鸟算法，是平衡性能和复杂性而选择的一种方法。（现在商业大部分都使用此算法）</p>
</blockquote>
<p>下面我们重点讨论除鸵鸟算法之外的其他三种解决方法。</p>
<h2 id="死锁预防"><a href="#死锁预防" class="headerlink" title="死锁预防"></a>死锁预防</h2><p>简单理解，死锁预防就是通过适当的策略，来消除死锁的四个成因之一，从而避免死锁的发生。</p>
<h3 id="互斥"><a href="#互斥" class="headerlink" title="互斥"></a>互斥</h3><p>一般来讲，在所列出的四个条件中，第一个条件不可能禁止。如果需要对资源进行互斥访问，那么操作系统必须支持互斥。</p>
<h3 id="占有且等待"><a href="#占有且等待" class="headerlink" title="占有且等待"></a>占有且等待</h3><p>为预防占有且等待的条件，可以要求进程一次性地请求所有需要的资源，并且阻塞这个进程直到所有请求都同时满足。</p>
<blockquote>
<p>这种方法在两个方面是低效的。首先，一个进程可能被阻塞很长时间，以等待满足其所有的资源请求。而实际上，只要有一部分资源，它就可以继续执行。其次，分配给一个进程的资源可能有相当长的一段时间不会被使用，且在此期间，它们不能被其他进程使用。</p>
<p>另一个问题是一个进程可能事先并不会知道它所需要的所有资源。</p>
</blockquote>
<h3 id="不可抢占"><a href="#不可抢占" class="headerlink" title="不可抢占"></a>不可抢占</h3><p>下面的方法可以预防这个条件：</p>
<ol>
<li>如果占有某些资源的一个进程进行进一步资源请求被拒绝，则该进程必须释放它最初占有的资源。（如果有必要，可再次请求这些资源和另外的资源）</li>
<li>如果一个进程请求当前被另一个进程占有的一个资源，则操作系统可以抢占另一个进程，要求它释放资源。（只有在任意两个进程的优先级都不相同的条件下才可以实现）</li>
</ol>
<h3 id="循环等待"><a href="#循环等待" class="headerlink" title="循环等待"></a>循环等待</h3><p>循环等待条件可以通过定义资源类型的线性顺序来预防。</p>
<blockquote>
<p>如果一个进程已经分配到了R类型的资源，那么它接下来请求的资源只能是那些排在R类型之后的资源类型。</p>
<p>循环等待的预防方法可能是低效的，它会使进程执行速度变慢，并且可能在没有必要的情况下拒绝资源访问。</p>
</blockquote>
<h2 id="死锁避免"><a href="#死锁避免" class="headerlink" title="死锁避免"></a>死锁避免</h2><p>要注意与死锁避免与死锁预防的差异：</p>
<ul>
<li><p>死锁预防是通过约束资源请求，防止死锁的四个成因之一发生，从而避免死锁产生。</p>
</li>
<li><p>死锁避免允许三个必要条件的发生，但是通过进程启动拒绝算法，去规避可能导致死锁情况的事件发生。</p>
<ul>
<li><p>死锁避免比死锁预防允许更多的并发。</p>
</li>
<li><p>是否允许当前的资源分配请求是通过判断该请求是否可能导致死锁来决定的。</p>
<blockquote>
<ul>
<li>如果一个进程的请求会导致死锁，则不启动此进程，进程启动拒绝</li>
<li>如果一个进程增加资源的请求会导致死锁，则不容许此分配，资源分配拒绝</li>
</ul>
</blockquote>
</li>
<li><p>死锁避免需要知道将来的进程资源请求的情况。</p>
</li>
</ul>
</li>
</ul>
<h3 id="进程启动拒绝"><a href="#进程启动拒绝" class="headerlink" title="进程启动拒绝"></a>进程启动拒绝</h3><p>首先需要掌握四种数据结构：</p>
<ul>
<li>Resource（资源总量表）：系统中每种资源的总量</li>
<li>Available（资源可用表）：未分配给进程的每种资源的总量（可用资源）</li>
<li>Claim（最大需求矩阵）：C<sub>ij</sub> = 进程 i 对资源 j 的需求</li>
<li>Allocation（资源分配矩阵）：A<sub>ij</sub> = 当前分配给进程 i 的资源 j </li>
</ul>
<p><img src="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E8%BF%9B%E7%A8%8B%E5%90%AF%E5%8A%A8%E6%8B%92%E7%BB%9D%E5%9B%9B%E7%A7%8D%E6%95%B0%E6%8D%AE%E7%BB%93%E6%9E%84.png"></p>
<p>从以上定义中可以得出以下三个关系：</p>
<ol>
<li><p>$$<br>R_{j} = V_{j} + \sum_{i=1}^{N} A_{ij}<br>$$</p>
<blockquote>
<p>对所有 j ，所有资源或者可用，或者已被分配</p>
</blockquote>
</li>
<li><p>$$<br>C_{ij} \le R_{i}<br>$$</p>
<blockquote>
<p>对所有 i、j ，任何一个进程对任何一种资源的请求都不能超过系统中该种资源的总量。</p>
</blockquote>
</li>
<li><p>$$<br>A_{ij} \le C_{ij}<br>$$</p>
<blockquote>
<p>对所有 i、j ，分配给任何一个进程的任何一种资源都不会超过该进程最初声明的此资源的最大请求个数。</p>
</blockquote>
</li>
</ol>
<p>根据以上的关系，就可以定义一个死锁避免的策略：</p>
<p>对于所有的 j ，满足：<br>$$<br>R_{j} \ge C_{(n+1)j} + \sum_{i=1}^{n} C_{ij}<br>$$<br>才会启动一个进的进程P<sub>n+1</sub>。（只有所有当前进程的最大请求量加上新的进程请求可以满足时，才会启动该进程。）</p>
<blockquote>
<p>案例分析：如下图，资源1、2、3的总量分别为10、10、9，进程一对三种资源的需求分别为1、4、5，进程二对三种资源的需求分别为3、5、4，如果启动进程P3需要请求三种资源的数量为2、3、1，请分析P3进程能否启动。</p>
<p><img src="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E8%BF%9B%E7%A8%8B%E5%90%AF%E5%8A%A8%E6%A1%88%E4%BE%8B.png"></p>
<p>分析：</p>
<ul>
<li>对于资源1，三种进程的总需求为 1 + 3 + 2 = 6 &lt; 10 , 满足</li>
<li>对于资源2，三种进程的总需求为 5 + 4 + 3 = 12 &gt; 10 , 不满足</li>
</ul>
<p>所以进程三不得启动。</p>
</blockquote>
<h3 id="银行家算法（资源分配拒绝策略）"><a href="#银行家算法（资源分配拒绝策略）" class="headerlink" title="银行家算法（资源分配拒绝策略）"></a>银行家算法（资源分配拒绝策略）</h3><p>在说明银行家算法之前先明确以下三种状态：</p>
<ul>
<li>系统状态：当前给进程分配的资源情况</li>
<li>安全状态：至少有一个资源分配序列不会导致死锁（即所有进程都能运行直到结束）</li>
<li>不安全状态：顾名思义，就是指不安全的状态</li>
</ul>
<blockquote>
<p>下面来看一个例子：</p>
<p>下图(a)显示了一个含有4个进程和3个资源的系统的状态。R1、R2和R3的资源总量分别为9、3和6。在当前状态下资源分配给4个进程，R2和R3各剩下1个可用单元。请问这是安全状态吗？</p>
<p>根据前面的介绍，对于进程 i 下面的条件应该满足对所有的 j，都有：<br>$$<br>C_{ij} - A_{ij} \le V_{j}<br>$$<br><img src="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E9%93%B6%E8%A1%8C%E5%AE%B6%E7%AE%97%E6%B3%95%E6%A1%88%E4%BE%8B%E4%B8%80.png"></p>
<p>显然这对P1是不可能的，但是P2是可行的，因为P2只需要一个R3资源就拥有了它所需要的最大资源，因此P2进程运行。当运行完之后，它的资源回到可用资源池中（如下图(b)）</p>
<p><img src="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E9%93%B6%E8%A1%8C%E5%AE%B6%E7%AE%97%E6%B3%95%E6%A1%88%E4%BE%8B%E4%BA%8C.png"></p>
<p>在这种情况下，所有进程都可以完成，假设选择P1运行，结束之后，资源释放并回到可用资源池中，如下图(c)。</p>
<p><img src="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E9%93%B6%E8%A1%8C%E5%AE%B6%E7%AE%97%E6%B3%95%E6%A1%88%E4%BE%8B%E4%B8%89.png"></p>
<p>下一步完成P3进程，结束后资源如下图所示(d)。</p>
<p><img src="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E9%93%B6%E8%A1%8C%E5%AE%B6%E7%AE%97%E6%B3%95%E6%A1%88%E4%BE%8B%E5%9B%9B.png"></p>
<p>最后，可以完成P4进程。至此，所有进程运行结束，因此这是一个安全状态。</p>
<hr>
<p>再考虑下面一种状态：</p>
<p><img src="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E9%93%B6%E8%A1%8C%E5%AE%B6%E7%AE%97%E6%B3%95%E6%A1%88%E4%BE%8B%E4%BA%94.png"></p>
<p>这种情况没有一个进程是可以运行的，因此这不是一个安全状态。</p>
<p>但是这并不是一个死锁状态，它仅仅是有死锁的可能（这点很重要）。</p>
<p>（如果P1从这个状态开始运行，先释放一个R1单元和一个R3单元，后来又再次需要这些资源，则一旦这样做，系统将到达一个安全状态。因此，死锁避免策略并不能确切地预测死锁，它仅仅是预料死锁的可能性并确保永远不会出现这种可能性。）</p>
</blockquote>
<p>下列代码给出了对死锁逻辑的一个抽象描述：</p>
<p>全局数据结构</p>
<figure class="highlight c++"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br><span class="line">4</span><br><span class="line">5</span><br><span class="line">6</span><br><span class="line">7</span><br></pre></td><td class="code"><pre><span class="line"><span class="class"><span class="keyword">struct</span> <span class="title">state</span></span></span><br><span class="line"><span class="class">&#123;</span></span><br><span class="line">    <span class="keyword">int</span> resource[m];</span><br><span class="line">    <span class="keyword">int</span> available[m];</span><br><span class="line">    <span class="keyword">int</span> claim[n][m];</span><br><span class="line">    <span class="keyword">int</span> alloc[n][m];</span><br><span class="line">&#125;</span><br></pre></td></tr></table></figure>

<p>资源分配算法</p>
<figure class="highlight c++"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br><span class="line">4</span><br><span class="line">5</span><br><span class="line">6</span><br><span class="line">7</span><br><span class="line">8</span><br><span class="line">9</span><br><span class="line">10</span><br><span class="line">11</span><br><span class="line">12</span><br><span class="line">13</span><br><span class="line">14</span><br><span class="line">15</span><br><span class="line">16</span><br><span class="line">17</span><br></pre></td><td class="code"><pre><span class="line"><span class="keyword">if</span> (alloc [i,*] + request [*] &gt; claim [i,*])</span><br><span class="line">    &lt; error &gt;;				<span class="comment">/*总请求量大于需求*/</span></span><br><span class="line"><span class="keyword">else</span> <span class="keyword">if</span> (request [*] &gt; available [*])</span><br><span class="line">    &lt; suspend process &gt;;				<span class="comment">/*模拟分配*/</span></span><br><span class="line"><span class="keyword">else</span></span><br><span class="line">&#123;</span><br><span class="line">    &lt; define newstate by:</span><br><span class="line">    alloc [i,*] = alloc [i,*] + request [*];</span><br><span class="line">    available [*] = available [*] - request [*] &gt;;</span><br><span class="line">&#125;</span><br><span class="line"><span class="keyword">if</span> (<span class="built_in">safe</span> (newstate))</span><br><span class="line">    &lt; carry out allocation &gt;;</span><br><span class="line"><span class="keyword">else</span></span><br><span class="line">&#123;</span><br><span class="line">    &lt;restore original state &gt;;</span><br><span class="line">    &lt; suspend process &gt;;</span><br><span class="line">&#125;</span><br></pre></td></tr></table></figure>

<p>测试安全算法（银行家算法）</p>
<figure class="highlight c++"><table><tr><td class="gutter"><pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br><span class="line">4</span><br><span class="line">5</span><br><span class="line">6</span><br><span class="line">7</span><br><span class="line">8</span><br><span class="line">9</span><br><span class="line">10</span><br><span class="line">11</span><br><span class="line">12</span><br><span class="line">13</span><br><span class="line">14</span><br><span class="line">15</span><br><span class="line">16</span><br><span class="line">17</span><br><span class="line">18</span><br><span class="line">19</span><br><span class="line">20</span><br><span class="line">21</span><br></pre></td><td class="code"><pre><span class="line"><span class="function">boolean <span class="title">safe</span> <span class="params">(state S)</span></span></span><br><span class="line"><span class="function"></span>&#123;</span><br><span class="line">    <span class="keyword">int</span> currentavail[m];</span><br><span class="line">    process rest[&lt;number of processes&gt;];</span><br><span class="line">    currentavail = available;</span><br><span class="line">    rest = &#123;all processes&#125;;</span><br><span class="line">    possible = <span class="literal">true</span>;</span><br><span class="line">    <span class="keyword">while</span> (possible)</span><br><span class="line">    &#123;</span><br><span class="line">        &lt; find a process Pk in rest suck that</span><br><span class="line">            claim [k,*] - alloc [k,*] &lt;= currentavail;&gt;</span><br><span class="line">        <span class="keyword">if</span> (found)				<span class="comment">/*模拟Pk的执行*/</span></span><br><span class="line">        &#123;</span><br><span class="line">            currentavail = currentavail + alloc [k,*];</span><br><span class="line">            rest = rest - &#123;Pk&#125;;</span><br><span class="line">        &#125;</span><br><span class="line">        <span class="keyword">else</span></span><br><span class="line">            possible = <span class="literal">false</span>;</span><br><span class="line">    &#125;</span><br><span class="line">    <span class="keyword">return</span> (rest == null);</span><br><span class="line">&#125;</span><br></pre></td></tr></table></figure>

<blockquote>
<p>说明：</p>
<p>数据结构<code>state</code>定义了系统状态，<code>request[*]</code>是一个向量，定义了进程 i 的资源请求。</p>
<p>首先，进行一次检测，确保该请求不会超过进程最初声明的要求。如果该请求有效，下一步确定是否可能实现这个请求（即有足够的可用资源）。如果不可能，则该进程被挂起；如果可能，则最后一步是确定完成这个请求是否是安全的。为做到这一点，资源被暂时分配给进程 i 以形成一个newstate。</p>
</blockquote>
<p>死锁避免的优点是它不需要死锁预防中的抢占和回滚进程，并且比死锁预防的限制少。但是仍有以下限制：</p>
<ul>
<li>必须事先声明每个进程请求的最大资源</li>
<li>考虑的进程必须是无关的，也就是说，它们执行的顺序必须没有任何同步要求的限制</li>
<li>分配的资源数目必须是固定的，且只考虑可重用资源</li>
<li>在占有资源时，进程不能退出</li>
<li>时间复杂度高（O(m·n<sup>2</sup>)）</li>
</ul>
<h2 id="死锁检测"><a href="#死锁检测" class="headerlink" title="死锁检测"></a>死锁检测</h2><p>死锁预防策略是非常保守的，它们通过限制访问资源和在进程上强加约束来解决死锁问题。</p>
<p>死锁检测策略则完全相反，它不限制资源访问或约束进程行为。对于死锁检测来说，只要有可能，被请求的资源就被授权给进程。操作系统周期性地执行一个算法检测“循环等待”条件（上文提到的死锁成因中的条件4）。</p>
<h3 id="死锁检测算法"><a href="#死锁检测算法" class="headerlink" title="死锁检测算法"></a>死锁检测算法</h3><p>该算法使用了上文提到的<code>Allocation矩阵</code>以及<code>Available向量</code>，除此之外，还定义了请求(Requset)矩阵Q，其中Q<sub>ij</sub>表示进程 i 请求的类型 j 的资源量。算法主要是一个标记没有死锁的进程的过程。最初，所有的进程都是未标记的，然后执行下列步骤：</p>
<ol>
<li>标记Allocation矩阵中一行全为零的进程。</li>
<li>初始化一个临时向量W，令其等于Available向量。</li>
<li>查找下标 i，使用进程 i 当前未标记且 Q 的第 i 行小于等于 W，即对所有的 1 ≤ K ≤ m，Q<sub>ik</sub>≤W<sub>k</sub>。如果找不到这样的行，终止算法。</li>
<li>如果找到这样的行，标记进程 i，并把Allocation矩阵中的相应行加到W中，也就是说，对所有的1 ≤ K ≤ m，令W<sub>k</sub> = W<sub>k</sub> + A<sub>ik</sub>。返回步骤3。</li>
</ol>
<blockquote>
<p>下面来看一个例子：</p>
<p><img src="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/OS%E6%AD%BB%E9%94%81%E6%A3%80%E6%B5%8B%E7%AE%97%E6%B3%95%E6%A1%88%E4%BE%8B.png"></p>
<ol>
<li>令 W =（ 0 0 0 0 1 ）（W = A）。</li>
<li>进程P3的请求小于或等于W，因此标记P3，并令W = W +（ 0 0 0 1 0 ）=（ 0 0 0 1 1 ）。</li>
<li>再去检测Request矩阵，发现其他进程都不满足运行条件，因此终止算法。</li>
</ol>
<p>算法的结果是P1、P2、P4未标记，表示这三个进程是死锁的。</p>
</blockquote>
<h3 id="恢复"><a href="#恢复" class="headerlink" title="恢复"></a>恢复</h3><p>一旦检测到死锁，就需要某种策略以恢复死锁。下面按复杂度递增的顺序列出可能的方法：</p>
<ol>
<li><p>取消所有的死锁进程。</p>
</li>
<li><p>把每个死锁进程回滚到前面定义的某些检查点，并且重新启动所有进程。</p>
<blockquote>
<p>这要求在系统中构造回滚和重启机制。该方法的风险是原来的死锁可能再次发生。但是，并发进程的不确定性通常能保证不会发生这种情况。</p>
</blockquote>
</li>
<li><p>连续取消死锁进程直到不再存在死锁。</p>
<blockquote>
<p>选择取消进程的顺序基于某种最小代价原则。在每次取消后，必须重新调用检测算法，以测试是否仍存在死锁。</p>
</blockquote>
</li>
<li><p>连续抢占资源直到不再存在死锁。</p>
<blockquote>
<p>同第3条一样，需要使用一种基于代价的选择方法，并且需要在每次抢占后重新调用检测算法。一个资源被抢占的进程必须回滚到获得这个资源之前的某一状态。</p>
</blockquote>
</li>
</ol>
<p>对于上述的第3、4条，选择原则可以采用下面中的一种：</p>
<ul>
<li>目前为止消耗的处理器时间最少。</li>
<li>目前为止产生的输出最少。</li>
<li>预计剩下的时间最长。</li>
<li>目前为止分配的资源总量最少。</li>
<li>优先级最低。</li>
</ul>
<h2 id="一种综合的死锁策略"><a href="#一种综合的死锁策略" class="headerlink" title="一种综合的死锁策略"></a>一种综合的死锁策略</h2><p>我们先以表格的形式小结一下前文讲述的解决死锁的策略：</p>
<table>
<thead>
<tr>
<th>原则</th>
<th>资源分配策略</th>
<th>不同的方案</th>
<th>主要优点</th>
<th>主要缺点</th>
</tr>
</thead>
<tbody><tr>
<td>预防</td>
<td>保守的；预提交资源</td>
<td>一次性请求所有资源</td>
<td>·对执行一连串活动的进程非常有效<br/>·不需要抢占</td>
<td>·低效<br/>·延迟进程的初始化<br/>·必须知道将来的资源请求</td>
</tr>
<tr>
<td>预防</td>
<td>保守的；预提交资源</td>
<td>抢占</td>
<td>·用于状态易于保存和恢复的资源时非常方便</td>
<td>·过于经常地没必要地抢占</td>
</tr>
<tr>
<td>预防</td>
<td>保守的；预提交资源</td>
<td>资源排序</td>
<td>·通过编译时检测是可以实施的<br/>·既然问题已经在系统设计时解决了，不需要在运行时间计算</td>
<td>·禁止增加的资源请求</td>
</tr>
<tr>
<td>避免</td>
<td>处于检测和预防中间</td>
<td>操作以发现至少一条安全路径</td>
<td>·不需要抢占</td>
<td>·必须知道将来的资源请求<br/>·进程不能被长时间阻塞</td>
</tr>
<tr>
<td>检测</td>
<td>非常自由；只要可能，请求的资源都允许</td>
<td>周期性地调用以测试死锁</td>
<td>·不会延迟进程的初始化<br/>·易于在线处理</td>
<td>·固有的抢占被丢失</td>
</tr>
</tbody></table>
<p>从上表中可见，所有的解决死锁的策略都各有其优缺点。与其将操作系统机制设计为只采用其中一种策略，还不如在不同情况下使用不同的策略更有效。为此提供了一种方法：</p>
<ul>
<li>把资源分成几组不同的资源类。</li>
<li>为预防在资源类之间由于循环等待产生死锁，可使用前面定义的线性排序策略。</li>
<li>在一个资源类中，使用该类资源最适合的算法。为此，考虑下列的资源类：<ul>
<li>可交换空间：在进程交换中所使用的外存中的存储块。</li>
<li>进程资源：可分配的设备，如磁带设备和文件。</li>
<li>内存：可以按页或按段分配给进程。</li>
<li>内部资源：诸如I/O通道。</li>
</ul>
</li>
<li>以上列出的次序表示了资源分配的次序。考虑到一个进程在其生命周期中的步骤顺序，这个次序是最合理的。在每一类中，可采用以下策略：<ul>
<li>可交换空间：通过要求<strong>一次性分配所有请求的资源</strong>来预防死锁，就像占有且等待预防策略一样。如果知道最大存储需求（通常情况下都知道），则这个策略是合理的。死锁避免也是可能的。</li>
<li>进程资源：对这类资源，<strong>死锁避免策略</strong>常常是很有效的，这是因为进程可以事先声明它们将需要的这类资源。采用<strong>资源排序的预防策略</strong>也是可能的。</li>
<li>内存：对于内存，基于<strong>抢占</strong>的预防是最适合的策略。当一个进程被抢占后，它仅仅被换到外存，释放空间以解决死锁。</li>
<li>内部资源：可以使用基于<strong>资源排序</strong>的预防策略。</li>
</ul>
</li>
</ul>
<h2 id="哲学家就餐问题"><a href="#哲学家就餐问题" class="headerlink" title="哲学家就餐问题"></a>哲学家就餐问题</h2><p>同样移步至下方链接👇👇👇👇</p>
<div class="btn-center">
<a class="btn" href="/next/2021/04/25/操作系统/操作系统学习笔记-信号量相关问题/"><i class="far fa-hand-point-right"></i>点击跳转 至 《信号量相关问题》</a>
</div>


<hr>
<h1 id="后记"><a href="#后记" class="headerlink" title="后记"></a>后记</h1><p>本篇已完结</p>
<p>（如有修改或补充欢迎评论）</p>

    </div>

    
    
    
      
  <div class="popular-posts-header">相关文章</div>
  <ul class="popular-posts">
    <li class="popular-posts-item">
      <div class="popular-posts-title"><a href="\next\2021\03\28\操作系统\操作系统学习笔记\" rel="bookmark">操作系统学习笔记</a></div>
    </li>
    <li class="popular-posts-item">
      <div class="popular-posts-title"><a href="\next\2021\06\09\操作系统\操作系统学习笔记-文件管理\" rel="bookmark">操作系统学习笔记-文件管理</a></div>
    </li>
    <li class="popular-posts-item">
      <div class="popular-posts-title"><a href="\next\2021\06\02\操作系统\操作系统学习笔记-I-O管理和磁盘调度\" rel="bookmark">操作系统学习笔记-I/O管理和磁盘调度</a></div>
    </li>
    <li class="popular-posts-item">
      <div class="popular-posts-title"><a href="\next\2021\05\30\操作系统\操作系统学习笔记-单处理器调度\" rel="bookmark">操作系统学习笔记-单处理器调度</a></div>
    </li>
    <li class="popular-posts-item">
      <div class="popular-posts-title"><a href="\next\2021\05\24\操作系统\操作系统学习笔记-虚拟内存\" rel="bookmark">操作系统学习笔记-虚拟内存</a></div>
    </li>
  </ul>


    <footer class="post-footer">
          <div class="reward-container">
  <div></div>
  <button>
    赞赏
  </button>
  <div class="post-reward">
      <div>
        <img src="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/wechat.png" alt="花猪 微信">
        <span>微信</span>
      </div>
      <div>
        <img src="https://cdn.jsdelivr.net/gh/CNhuazhu/Image/alipay.jpg" alt="花猪 支付宝">
        <span>支付宝</span>
      </div>

  </div>
</div>

          <div class="post-tags">
              <a href="/next/tags/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F/" rel="tag"><i class="fa fa-tag"></i> 操作系统</a>
          </div>

        

          <div class="post-nav">
            <div class="post-nav-item">
                <a href="/next/2021/04/25/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F%E5%AD%A6%E4%B9%A0%E7%AC%94%E8%AE%B0-%E4%BF%A1%E5%8F%B7%E9%87%8F%E7%9B%B8%E5%85%B3%E9%97%AE%E9%A2%98/" rel="prev" title="操作系统学习笔记-信号量相关问题">
                  <i class="fa fa-chevron-left"></i> 操作系统学习笔记-信号量相关问题
                </a>
            </div>
            <div class="post-nav-item">
                <a href="/next/2021/05/10/%E8%AE%A1%E7%AE%97%E6%9C%BA%E7%BD%91%E7%BB%9C/%E8%AE%A1%E7%AE%97%E6%9C%BA%E7%BD%91%E7%BB%9C%E5%AD%A6%E4%B9%A0%E7%AC%94%E8%AE%B0-%E4%BC%A0%E8%BE%93%E5%B1%82/" rel="next" title="计算机网络学习笔记-传输层">
                  计算机网络学习笔记-传输层 <i class="fa fa-chevron-right"></i>
                </a>
            </div>
          </div>
    </footer>
  </article>
</div>






    <div class="comments"><div id="twikoo-comments"></div></div>
</div>
  </main>

  <footer class="footer">
    <div class="footer-inner">


<div class="copyright">
  &copy; 
  <span itemprop="copyrightYear">2021</span>
  <span class="with-love">
    <i class="fa fa-heart"></i>
  </span>
  <span class="author" itemprop="copyrightHolder">花猪</span>
</div>
<div class="wordcount">
  <span class="post-meta-item">
    <span class="post-meta-item-icon">
      <i class="fa fa-chart-line"></i>
    </span>
      <span>站点总字数：</span>
    <span title="站点总字数">356k</span>
  </span>
  <span class="post-meta-item">
    <span class="post-meta-item-icon">
      <i class="fa fa-coffee"></i>
    </span>
      <span>站点阅读时长 &asymp;</span>
    <span title="站点阅读时长">5:23</span>
  </span>
</div>
  <div class="powered-by">由 <a href="https://hexo.io/" rel="noopener" target="_blank">Hexo</a> & <a href="https://theme-next.js.org/mist/" rel="noopener" target="_blank">NexT.Mist</a> 强力驱动
  </div>

    </div>
  </footer>

  
  <script src="https://cdn.jsdelivr.net/npm/animejs@3.2.1/lib/anime.min.js" integrity="sha256-XL2inqUJaslATFnHdJOi9GfQ60on8Wx1C2H8DYiN1xY=" crossorigin="anonymous"></script>
  <script src="https://cdn.jsdelivr.net/npm/@next-theme/pjax@0.5.0/pjax.min.js" integrity="sha256-3NkoLDrmHLTYj7csHIZSr0MHAFTXth7Ua/DDt4MRUAg=" crossorigin="anonymous"></script>
  <script src="https://cdn.jsdelivr.net/npm/jquery@3.6.0/dist/jquery.min.js" integrity="sha256-/xUj+3OJU5yExlq6GSYGSHk7tPXikynS7ogEvDej/m4=" crossorigin="anonymous"></script>
  <script src="https://cdn.jsdelivr.net/npm/@fancyapps/fancybox@3.5.7/dist/jquery.fancybox.min.js" integrity="sha256-yt2kYMy0w8AbtF89WXb2P1rfjcP/HTHLT7097U8Y5b8=" crossorigin="anonymous"></script>
  <script src="https://cdn.jsdelivr.net/npm/medium-zoom@1.0.6/dist/medium-zoom.min.js" integrity="sha256-EdPgYcPk/IIrw7FYeuJQexva49pVRZNmt3LculEr7zM=" crossorigin="anonymous"></script>
<script src="/next/js/comments.js"></script><script src="/next/js/utils.js"></script><script src="/next/js/motion.js"></script><script src="/next/js/schemes/muse.js"></script><script src="/next/js/next-boot.js"></script><script src="/next/js/pjax.js"></script>

  
<script src="/next/js/third-party/search/local-search.js"></script>




  


  <script class="next-config" data-name="leancloud_visitors" type="application/json">{"enable":true,"app_id":"dh8GVAcIwU1TN4zhA5y63iW1-gzGzoHsz","app_key":"hzyAqDKjG4OBGrdPS7mKaOa7","server_url":null,"security":true}</script>
  <script src="/next/js/third-party/statistics/lean-analytics.js"></script>


  

  <script class="next-config" data-name="enableMath" type="application/json">true</script><script class="next-config" data-name="mathjax" type="application/json">{"enable":true,"tags":"none","js":{"url":"https://cdn.jsdelivr.net/npm/mathjax@3.2.0/es5/tex-mml-chtml.js","integrity":"sha256-r+3itOMtGGjap0x+10hu6jW/gZCzxHsoKrOd7gyRSGY="}}</script>
<script src="/next/js/third-party/math/mathjax.js"></script>


<script class="next-config" data-name="twikoo" type="application/json">{"enable":true,"visitor":true,"envId":"hexo-1g41404w9f800e94","el":"#twikoo-comments"}</script>
<script>
document.addEventListener('page:loaded', () => {
  NexT.utils.loadComments(CONFIG.twikoo.el)
    .then(() => NexT.utils.getScript(
      'https://cdn.jsdelivr.net/npm/twikoo/dist/twikoo.all.min.js',
      { condition: window.twikoo }
    ))
    .then(() => {
      twikoo.init(CONFIG.twikoo);
    });
});
</script>

</body>
</html>
